Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
1	ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ Add to Reading List Source URL: icr.uni.lu Language: English - Date: 2014-12-05 12:20:25
2	A Dynamic Logic for Multi-agent Partial Knowledge Information Systems Md. Aquil Khan and Mohua Banerjee Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India Add to Reading List Source URL: esslli2009.labri.fr Language: English - Date: 2010-10-12 04:41:55
3	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-08 10:41:46 Philosophy Logic Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Modal logic Causality Formal verification
4	Dresden, September 23rd, 2015 SAFETY CONSTRAINTS AND ETHICAL PRINCIPLES IN COLLECTIVE DECISION-MAKING SYSTEMS Francesca Rossi Add to Reading List Source URL: ki2015.computational-logic.org Language: English - Date: 2015-10-02 05:44:22 Economy Business Neuroscience Consumer theory Preference Ethics Intelligent agent Dresden Autonomous car Boolean algebra Toyota Decision-making
5	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
6	Modeling Mutual Capabilities in Heterogeneous Teams for Role Assignment Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and velos Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:08 Systems science Science Philosophy Algorithm Mathematical logic Theoretical computer science Expected value Team Mathematical optimization Robotics Robot Agent-based model
7	Microsoft Word - ICMR-06 Months-Report From IF Add to Reading List Source URL: www.icmr.nic.in Language: English - Date: 2014-09-19 07:33:29 Statistics Science Logic Statistical theory Philosophy of science Statistical inference Inductive reasoning Graphical models Causal inference Agent-based model Bayesian inference Causality
8	Simulation Validation for Societal Systems Alex Yahja September 2006 CMU-ISRISchool of Computer Science Add to Reading List Source URL: www.casos.cs.cmu.edu Language: English - Date: 2008-11-17 12:47:36 Simulation Information science Knowledge engineering Semantic Web Technical communication Agent-based model Scientific modelling Ontology Logic simulation Cyc Reasoning system Conceptual model
9	Characterizing False-name-proof Allocation Rules in Combinatorial Auctions Taiki Todo, Atsushi Iwasaki, Makoto Yokoo, and Yuko Sakurai ∗ Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:20 Game theory Mechanism design Auctions Auction theory Social choice theory VickreyClarkeGroves auction Combinatory logic Auction Strategyproofness Monotonicity Mode Norm